minimal propositional calculus
极小命题演算
热门查询
- aerodynamically adv. 空气动力学地
- sodium n. [化学] 钠（11号元素，符号 Na）
- whistler n. 吹哨的人 n. (Whistler)人名；(英)惠斯勒
- strain n. 张力；拉紧；负担；扭伤；血缘 vt. 拉紧；滥用；滤去；竭力 vi. 拉紧；尽力 n. (Strain)人名；(英)斯特兰 n. （植物、动物的）品种；种类
- Warnock [人名] [英格兰人姓氏] 沃诺克盖尔语姓氏的英语形式，来源于人名，含义是“野的，孤独的”(wild,solitary)
- steamer n. 轮船；蒸汽机；蒸笼
- blackshirt n. 黑衫党党员, 法西斯主义者
- burka n. 蒙住全身的长袍
- eyeshot n. 视野；视界
- transformative adj. 变化的，变形的；有改革能力的
- former n. 模型，样板；起形成作用的人 adj. 从前的，前者的；前任的 n. (Former)人名；(法)福尔梅；(德、捷)福尔默
- chef n. 厨师，大师傅 n. (Chef)人名；(法)谢夫
- DEC abbr. 十二月（December）
- existentialism n. 存在主义
- Jahangir 贾汗季(1569～1627)，印度莫卧儿帝国第四代皇帝(1605～1627)[亦作 Je-hangir]
- mellon n. 梅隆（姓氏）
- thrusting n. 推；插；挤 adj. 有强大推进力的；有进取心的 v. 推，挤；迫使接受；延伸（thrust的ing形式）
- linearly adv. 成直线地；在线上地
- surround n. 围绕物 vt. 围绕；包围 adj. 环绕立体声的
- forestland n. 林地
